perm filename FOO[206,JMC]3 blob sn#076838 filedate 1973-12-12 generic text, type T, neo UTF8

(DEFPROP TES
 (TES FIB1)
VALUE)

(DEFPROP FIB1
 (LAMBDA(N)
  (COND	((OR (EQUAL N 0) (EQUAL N 1)) (QUOTE (1 1)))
	(T
	 ((LAMBDA (X) (LIST (PLUS (CAR X) (CADR X)) (CAR X)))
	  (FIB1 (SUB1 N))))))
EXPR)